<script type="text/javascript">
var disqus_identifier = 'file_flags';
var disqus_title = 'Boost.AFIO file_flags';
</script>
